Search Results

Documents authored by van der Storm, Tijs

Document
DOI: 10.4230/OASIcs.EVCS.2023.28
Eelco Visser and IFIP WG 2.16

Authors: Tijs van der Storm

Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)

Abstract
Eelco Visser was a founding member of the IFIP TC2 Working Group 2.16 and long served as its chair. This brief note recounts Eelco’s impact on the group and his contributions to its meetings.
Cite as

Tijs van der Storm. Eelco Visser and IFIP WG 2.16. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 28:1-28:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{vanderstorm:OASIcs.EVCS.2023.28,
  author =	{van der Storm, Tijs},
  title =	{{Eelco Visser and IFIP WG 2.16}},
  booktitle =	{Eelco Visser Commemorative Symposium (EVCS 2023)},
  pages =	{28:1--28:3},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-267-9},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{109},
  editor =	{L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.28},
  URN =		{urn:nbn:de:0030-drops-177986},
  doi =		{10.4230/OASIcs.EVCS.2023.28},
  annote =	{Keywords: Eelco Visser, Language design, IFIP, working group}
}
Document
DOI: 10.4230/OASIcs.EVCS.2023.29
Semantics Engineering with Concrete Syntax

Authors: Tijs van der Storm

Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)

Abstract
Semantics engineering tools like Redex can be used to define, explore, and debug formal definitions of programming language semantics. However, such tools are often based on abstract syntax, which makes the definition of rules and the exploration of execution traces rather unfriendly. In this paper we introduce Credex, a library in the Rascal meta-programming language for defining small-step evaluation-context semantics, where terms and matching patterns are what-you-see-is-what-you-get. Credex employs parsing for decomposing terms into context and redex. Since Rascal’s grammar formalism is based on general parsing, a non-unique decomposition of a term literally corresponds to an ambiguous parse. We demonstrate the use of Credex, detail some aspects of its implementation, and discuss three case-studies.
Cite as

Tijs van der Storm. Semantics Engineering with Concrete Syntax. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 29:1-29:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{vanderstorm:OASIcs.EVCS.2023.29,
  author =	{van der Storm, Tijs},
  title =	{{Semantics Engineering with Concrete Syntax}},
  booktitle =	{Eelco Visser Commemorative Symposium (EVCS 2023)},
  pages =	{29:1--29:11},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-267-9},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{109},
  editor =	{L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.29},
  URN =		{urn:nbn:de:0030-drops-177991},
  doi =		{10.4230/OASIcs.EVCS.2023.29},
  annote =	{Keywords: Semantics engineering, syntax, parsing, reduction semantics}
}
Document
DOI: 10.4230/DARTS.3.2.0
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee

Authors: Philipp Haller, Michael Pradel, and Tijs van der Storm

Published in: DARTS, Volume 3, Issue 2, Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)

Abstract
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Cite as

Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@Article{haller_et_al:DARTS.3.2.0,
  author =	{Haller, Philipp and Pradel, Michael and van der Storm, Tijs},
  title =	{{ Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
  pages =	{0:i--0:xii},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{2},
  editor =	{Haller, Philipp and Pradel, Michael and van der Storm, Tijs},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.3.2.0},
  URN =		{urn:nbn:de:0030-drops-72813},
  doi =		{10.4230/DARTS.3.2.0},
  annote =	{Keywords: Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}
}
Document
DOI: 10.4230/DARTS.2.1.0
Front Matter, Table of Contents, Preface, Artifact Evaluation Committee

Authors: Matthew Flatt and Tijs van der Storm

Published in: DARTS, Volume 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)

Abstract
Front Matter, Table of Contents, Preface, Artifact Evaluation Committee
Cite as

Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{flatt_et_al:DARTS.2.1.0,
  author =	{Flatt, Matthew and van der Storm, Tijs},
  title =	{{Front Matter, Table of Contents, Preface, Artifact Evaluation Committee}},
  pages =	{0:i--0:x},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2016},
  volume =	{2},
  number =	{1},
  editor =	{Flatt, Matthew and van der Storm, Tijs},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.2.1.0},
  URN =		{urn:nbn:de:0030-drops-61212},
  doi =		{10.4230/DARTS.2.1.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Artifact Evaluation Committee}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact